21. Software engineering
Author: Oscar Nierstrasz, Michel Lemoine (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Software engineering, Congresses.

22. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 :
Author: edited by Ehud Shapiro.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming -- Congresses.,Logic programming.,Programmation logique -- Congrès.
Classification :
QA76
.
6
E358
1986


23. Tools and algorithms for the construction and analysis of systems :
Author: Tomáš Vojnar, Lijun Zhang (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Computer software-- Verification.,System analysis.,System design.
Classification :
QA76
.
9
.
S88


24. Tools for high performance computing 2009 :
Author: Matthias S. Müller [and others], editors
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: High performance computing, Congresses,Parallel programming (Computer science), Congresses,Computer science
Classification :
QA76
.
88
.
I58
2010

